.ace_gutter {
    border-top-left-radius: 4px;
    border-bottom-left-radius: 4px;
}
.ace_scroller {
    border-top-right-radius: 4px;
    border-bottom-right-radius: 4px;
}
